| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| close.html.z | GZip archive | 1 | 1KB | 2002-07-08 |
| index.html.z | GZip archive | 1 | 2KB | 2002-07-08 |
| last_opened.html.z | GZip archive | 1 | 2KB | 2002-07-08 |
| quit.html.z | GZip archive | 1 | 1KB | 2002-07-08 |
| revert.html.z | GZip archive | 1 | 1KB | 2002-07-08 |